//
// Created by wuzhuya on 23-12-27.
//

#ifndef OS_CONSOLE_H
#define OS_CONSOLE_H

#include <chenpuchuos/types.h>

void console_init();

void console_clear();

void console_write(char *buf, u32 count);

#endif //OS_CONSOLE_H
